Capital Projects – Commonly Used Terms Agreement (construction): The contract between the University and the contractor for construction of a project. Alternate: A proposed change in the work, as described in a bid,

Source URL: www.budgetoffice.uci.edu

• Environment of the United States
• Environmental impact statement
• Environmental science
• Software maintenance
• Construction
• EIR
• Natural environment
• California Environmental Quality Act

Commercial Smarter models. Diverse solutions. Software that connects. SDS/2 software solutions are the perfect choice for commercial steel construction. The SDS/2 name has a proven reputation as a 3D modeling and detaili

Source URL: sds2.com

PREConcrete Building Survey Pre – 1980 Concrete Buildings City of Long Beach

Source URL: www.concretecoalition.org

• Computing
• Software
• Construction
• Pavements
• GIS software
• Google Earth
• Keyhole Markup Language
• Remote sensing
• Web mapping
• Concrete
• Overlay
• JPEG

Dynamic Compilation with Truffle Thomas Wuerthinger @thomaswue Oracle Labs

Source URL: vjovanov.github.io

• Cross-platform software
• Programming language implementation
• Compiler construction
• Java virtual machine
• Interpreter
• Graal
• Just-in-time compilation
• Bytecode
• Java
• Oracle Database
• Oracle Corporation
• Oracle machine

Verified Compilation for Shared-memory C Lennart Beringer1 , Gordon Stewart1 , Robert Dockins2 , and Andrew W. Appel1 1 2

Source URL: www.cs.princeton.edu

• Software engineering
• Computing
• Computer programming
• Compiler construction
• Data types
• Variable
• C++
• Functional languages
• Compiler correctness
• Thread-local storage
• Pointer
• C dynamic memory allocation

CScADS - Center for Scalable Application Development Software CScADS Model Center Goals • Conduct research leading to the design and construction of software tools and systems to help applications scale to the petascal

Source URL: cscads.rice.edu

The Japanese Translation Task: Lexical and Structural Perspectives Timothy Baldwin,∗ Atsushi Okazaki,† Takenobu Tokunaga† and Hozumi Tanaka† * CSLI, Stanford University <> † Tokyo Inst

Source URL: lingo.stanford.edu

• Linguistics
• Computational linguistics
• Language
• Software
• Natural language processing
• Computer-assisted translation
• Semantics
• Compiler construction
• Machine translation
• Translation memory
• Parsing
• Word-sense disambiguation

Weakest Precondition Synthesis for Compiler Optimizations Nuno P. Lopes and Jos´e Monteiro INESC-ID, IST Universidade de Lisboa Abstract. Compiler optimizations play an increasingly important role

Source URL: web.ist.utl.pt

• Software
• Computing
• Compiler construction
• Programming language implementation
• Compiler optimizations
• Formal methods
• Edsger W. Dijkstra
• Predicate transformer semantics
• Optimizing compiler
• Static single assignment form
• Compiler
• Psyco

IEICE Technical Report, . 社団法人 電子情報通信学会 THE INSTITUTE OF ELECTRONICS, INFORMATION AND COMMUNICATION ENGINEERS 信学技報

Source URL: lingo.stanford.edu

• Linguistics
• Computational linguistics
• Computing
• Software
• Natural language processing
• Computer-assisted translation
• Semantics
• Compiler construction
• Machine translation
• Translation memory
• Word-sense disambiguation
• Parsing